Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++
نویسنده
چکیده
We present a query language, called the Datalog, for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirable, an alternative method for capturing these two features in Datalog based on the idea of program transformation and compilation is proposed. A reduction technique for Datalog programs to Datalog is discussed. The elegance of the proposed reduction technique is that the transformed programs use purely deductive means to capture these two important features in Datalog without the need for stratification or non-monotonic reasoning. The strength of the reduction technique rests on the so called i-completion and context resolution schemes that respectively handle overriding and encapsulation. We also outline a prototype implementation of Datalog on CORAL deductive database system. Unlike most others, our implementation does not require meta-interpretation and consequently readily exploits the rich set of optimization techniques available in CORAL.
منابع مشابه
Inheritance with Overriding Without Non-monotonic Reasoning
We present a query language, called the Datalog, for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirable, an alternative method for capturing these two features in Datalog based on the idea of program transformation and compilation is proposed. A reduction technique for Datalog programs to Datalog is discussed. The eleganc...
متن کاملImplementing Abstract Objects with Inheritance in Datalog
We present an elegant technique to reduce inheritance and encapsulation to pure deduction. The reduction technique presented in this paper makes it possible to model object-oriented database features in a purely deductive system. Encapsulation has been given a formal treatment for the first time by introducing the so called contextresolution scheme. The completion technique presented in this pa...
متن کاملImplementing Abstract Objects with Inheritance Datalog (neg)
We present an elegant technique to reduce inheritance and encapsulation to pure deduction. The reduction technique presented in this paper makes it possible to model object-oriented database features in a purely deductive system. Encapsulation has been given a formal treatment for the first time by introducing the so called conteztresolution scheme. The completion technique presented in this pa...
متن کاملEmpowering OWL with Overriding Inheritance, Conflict Resolution and Non-monotonic Reasoning
The popularity of OWL for knowledge representation in the Semantic Web applications makes it an attractive platform. Although OWL supports some form of object-oriented features for knowledge structuring and maintenance, it is significantly weak in capturing most essential object-oriented features such as single and multiple inheritance, default class values, methods, overriding and encapsulatio...
متن کامل0 DLV – A System for Declarative Problem Solving ∗
DLV is an efficient logic programming and nonmonotonic reasoning (LPNMR) system with advanced knowledge representation mechanisms and interfaces to classic relational database systems. Its core language is disjunctive datalog (function-free disjunctive logic programming) under the Answer Set Semantics with integrity constraints, both default and strong (or explicit) negation, and queries. Integ...
متن کامل